81. On the Logic Fundation of Fuzzy Reasoning

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Fuzzy mathematics

رده :
QA
248
.
5
.
W2
1997

82. Principles of reasoning; an introduction to logic, methodology, and the theory of signs

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)

83. 19, 2011. Proceedings-Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

84. 15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

رده :
E-BOOK

85. Quasi Orders in Computation, Logic, Language and Reasoning-Well

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

86. Reasoning Web. Web Logic Rules

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS

رده :
E-BOOK

87. Reasoning and the logic of things: the cambridge conferences lectures of 8981

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
B
945
.
P43
R4
1992

88. Reasoning in Boolean networks: logic synthesis and verification using testing techniques

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing

رده :
TK
7874
.
K866
1997

89. Reasoning in boolean networks : logic synthesis and verification using testing techniques

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design

رده :
TK
7874
.
K866
1997

90. Reasoning with Fuzzy Logic

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Fuzzy logic

رده :
QA
9
.
64
.
R4
1990

91. Reasoning with logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming,، Reasoning

رده :
QA
76
.
L28
Vol
.
1111

92. Test your logic : 50 puzzles in deductive reasoning

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Puzzles

رده :
GV
1507
.
Q5
S82
1972

93. ‏‫‬‭The Mathematical Analysis of Logic; Being an Essay Towards a Calculus of Deductive Reasoning

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)

موضوع : منطق

رده :
‏‫‬‭
BC
۷۱ ‏‫‬‭
/
ب
۹
م
۲ ۱۳۴۴

94. Vivid logic : knowledge-based reasoning with two kinds of negation

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
764

95. 501 challenging logic and reasoning problem

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Logic, Problems, exercises, et,Reasoning, Problems, exercises, et,Critical thinking, Problems, exercises, et

رده :
BC108
.
A15
2005

96. 501 challenging logic and reasoning problems

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Logic Problems, exercises, etc,Reasoning Problems, exercises, etc,Critical thinking Problems, exercises, etc

رده :
BC108
.
A15
2005

97. 501 challenging logic and reasoning problems.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Critical thinking, Problems, exercises, etc.,Logic, Problems, exercises, etc.,Reasoning, Problems, exercises, etc.,Critical thinking.,Logic.,Reasoning.

رده :
BC108
.
A15
2005

98. 501 challenging logic and reasoning problems

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Logic--Problems, exercises, etc,Reasoning--Problems, exercises, etc,Critical thinking--Problems, exercises, etc

رده :
BC
,
108
,.
A15
,
2005

99. 501 challenging logic and reasoning problems

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : Problems, exercises, etc ، Logic,Problems, exercises, etc ، Reasoning,Problems, exercises, etc ، Critical thinking

رده :
BC108
.
A15
2005

100. 501 challenging logic and reasoning problems.

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic ; Problems, exercises, etc. ;